perm filename TAKR.PSL[TIM,LSP] blob
sn#738494 filedate 1984-01-10 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002
C00030 ENDMK
Cā;
(DEFUN TAK0 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK1 (TAK37 (isub1 X) Y Z)
(TAK11 (isub1 Y) Z X)
(TAK17 (isub1 Z) X Y)))))
(DEFUN TAK1 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK2 (TAK74 (isub1 X) Y Z)
(TAK22 (isub1 Y) Z X)
(TAK34 (isub1 Z) X Y)))))
(DEFUN TAK2 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK3 (TAK11 (isub1 X) Y Z)
(TAK33 (isub1 Y) Z X)
(TAK51 (isub1 Z) X Y)))))
(DEFUN TAK3 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK4 (TAK48 (isub1 X) Y Z)
(TAK44 (isub1 Y) Z X)
(TAK68 (isub1 Z) X Y)))))
(DEFUN TAK4 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK5 (TAK85 (isub1 X) Y Z)
(TAK55 (isub1 Y) Z X)
(TAK85 (isub1 Z) X Y)))))
(DEFUN TAK5 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK6 (TAK22 (isub1 X) Y Z)
(TAK66 (isub1 Y) Z X)
(TAK2 (isub1 Z) X Y)))))
(DEFUN TAK6 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK7 (TAK59 (isub1 X) Y Z)
(TAK77 (isub1 Y) Z X)
(TAK19 (isub1 Z) X Y)))))
(DEFUN TAK7 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK8 (TAK96 (isub1 X) Y Z)
(TAK88 (isub1 Y) Z X)
(TAK36 (isub1 Z) X Y)))))
(DEFUN TAK8 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK9 (TAK33 (isub1 X) Y Z)
(TAK99 (isub1 Y) Z X)
(TAK53 (isub1 Z) X Y)))))
(DEFUN TAK9 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK10 (TAK70 (isub1 X) Y Z)
(TAK10 (isub1 Y) Z X)
(TAK70 (isub1 Z) X Y)))))
(DEFUN TAK10 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK11 (TAK7 (isub1 X) Y Z)
(TAK21 (isub1 Y) Z X)
(TAK87 (isub1 Z) X Y)))))
(DEFUN TAK11 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK12 (TAK44 (isub1 X) Y Z)
(TAK32 (isub1 Y) Z X)
(TAK4 (isub1 Z) X Y)))))
(DEFUN TAK12 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK13 (TAK81 (isub1 X) Y Z)
(TAK43 (isub1 Y) Z X)
(TAK21 (isub1 Z) X Y)))))
(DEFUN TAK13 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK14 (TAK18 (isub1 X) Y Z)
(TAK54 (isub1 Y) Z X)
(TAK38 (isub1 Z) X Y)))))
(DEFUN TAK14 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK15 (TAK55 (isub1 X) Y Z)
(TAK65 (isub1 Y) Z X)
(TAK55 (isub1 Z) X Y)))))
(DEFUN TAK15 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK16 (TAK92 (isub1 X) Y Z)
(TAK76 (isub1 Y) Z X)
(TAK72 (isub1 Z) X Y)))))
(DEFUN TAK16 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK17 (TAK29 (isub1 X) Y Z)
(TAK87 (isub1 Y) Z X)
(TAK89 (isub1 Z) X Y)))))
(DEFUN TAK17 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK18 (TAK66 (isub1 X) Y Z)
(TAK98 (isub1 Y) Z X)
(TAK6 (isub1 Z) X Y)))))
(DEFUN TAK18 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK19 (TAK3 (isub1 X) Y Z)
(TAK9 (isub1 Y) Z X)
(TAK23 (isub1 Z) X Y)))))
(DEFUN TAK19 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK20 (TAK40 (isub1 X) Y Z)
(TAK20 (isub1 Y) Z X)
(TAK40 (isub1 Z) X Y)))))
(DEFUN TAK20 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK21 (TAK77 (isub1 X) Y Z)
(TAK31 (isub1 Y) Z X)
(TAK57 (isub1 Z) X Y)))))
(DEFUN TAK21 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK22 (TAK14 (isub1 X) Y Z)
(TAK42 (isub1 Y) Z X)
(TAK74 (isub1 Z) X Y)))))
(DEFUN TAK22 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK23 (TAK51 (isub1 X) Y Z)
(TAK53 (isub1 Y) Z X)
(TAK91 (isub1 Z) X Y)))))
(DEFUN TAK23 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK24 (TAK88 (isub1 X) Y Z)
(TAK64 (isub1 Y) Z X)
(TAK8 (isub1 Z) X Y)))))
(DEFUN TAK24 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK25 (TAK25 (isub1 X) Y Z)
(TAK75 (isub1 Y) Z X)
(TAK25 (isub1 Z) X Y)))))
(DEFUN TAK25 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK26 (TAK62 (isub1 X) Y Z)
(TAK86 (isub1 Y) Z X)
(TAK42 (isub1 Z) X Y)))))
(DEFUN TAK26 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK27 (TAK99 (isub1 X) Y Z)
(TAK97 (isub1 Y) Z X)
(TAK59 (isub1 Z) X Y)))))
(DEFUN TAK27 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK28 (TAK36 (isub1 X) Y Z)
(TAK8 (isub1 Y) Z X)
(TAK76 (isub1 Z) X Y)))))
(DEFUN TAK28 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK29 (TAK73 (isub1 X) Y Z)
(TAK19 (isub1 Y) Z X)
(TAK93 (isub1 Z) X Y)))))
(DEFUN TAK29 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK30 (TAK10 (isub1 X) Y Z)
(TAK30 (isub1 Y) Z X)
(TAK10 (isub1 Z) X Y)))))
(DEFUN TAK30 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK31 (TAK47 (isub1 X) Y Z)
(TAK41 (isub1 Y) Z X)
(TAK27 (isub1 Z) X Y)))))
(DEFUN TAK31 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK32 (TAK84 (isub1 X) Y Z)
(TAK52 (isub1 Y) Z X)
(TAK44 (isub1 Z) X Y)))))
(DEFUN TAK32 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK33 (TAK21 (isub1 X) Y Z)
(TAK63 (isub1 Y) Z X)
(TAK61 (isub1 Z) X Y)))))
(DEFUN TAK33 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK34 (TAK58 (isub1 X) Y Z)
(TAK74 (isub1 Y) Z X)
(TAK78 (isub1 Z) X Y)))))
(DEFUN TAK34 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK35 (TAK95 (isub1 X) Y Z)
(TAK85 (isub1 Y) Z X)
(TAK95 (isub1 Z) X Y)))))
(DEFUN TAK35 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK36 (TAK32 (isub1 X) Y Z)
(TAK96 (isub1 Y) Z X)
(TAK12 (isub1 Z) X Y)))))
(DEFUN TAK36 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK37 (TAK69 (isub1 X) Y Z)
(TAK7 (isub1 Y) Z X)
(TAK29 (isub1 Z) X Y)))))
(DEFUN TAK37 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK38 (TAK6 (isub1 X) Y Z)
(TAK18 (isub1 Y) Z X)
(TAK46 (isub1 Z) X Y)))))
(DEFUN TAK38 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK39 (TAK43 (isub1 X) Y Z)
(TAK29 (isub1 Y) Z X)
(TAK63 (isub1 Z) X Y)))))
(DEFUN TAK39 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK40 (TAK80 (isub1 X) Y Z)
(TAK40 (isub1 Y) Z X)
(TAK80 (isub1 Z) X Y)))))
(DEFUN TAK40 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK41 (TAK17 (isub1 X) Y Z)
(TAK51 (isub1 Y) Z X)
(TAK97 (isub1 Z) X Y)))))
(DEFUN TAK41 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK42 (TAK54 (isub1 X) Y Z)
(TAK62 (isub1 Y) Z X)
(TAK14 (isub1 Z) X Y)))))
(DEFUN TAK42 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK43 (TAK91 (isub1 X) Y Z)
(TAK73 (isub1 Y) Z X)
(TAK31 (isub1 Z) X Y)))))
(DEFUN TAK43 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK44 (TAK28 (isub1 X) Y Z)
(TAK84 (isub1 Y) Z X)
(TAK48 (isub1 Z) X Y)))))
(DEFUN TAK44 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK45 (TAK65 (isub1 X) Y Z)
(TAK95 (isub1 Y) Z X)
(TAK65 (isub1 Z) X Y)))))
(DEFUN TAK45 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK46 (TAK2 (isub1 X) Y Z)
(TAK6 (isub1 Y) Z X)
(TAK82 (isub1 Z) X Y)))))
(DEFUN TAK46 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK47 (TAK39 (isub1 X) Y Z)
(TAK17 (isub1 Y) Z X)
(TAK99 (isub1 Z) X Y)))))
(DEFUN TAK47 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK48 (TAK76 (isub1 X) Y Z)
(TAK28 (isub1 Y) Z X)
(TAK16 (isub1 Z) X Y)))))
(DEFUN TAK48 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK49 (TAK13 (isub1 X) Y Z)
(TAK39 (isub1 Y) Z X)
(TAK33 (isub1 Z) X Y)))))
(DEFUN TAK49 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK50 (TAK50 (isub1 X) Y Z)
(TAK50 (isub1 Y) Z X)
(TAK50 (isub1 Z) X Y)))))
(DEFUN TAK50 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK51 (TAK87 (isub1 X) Y Z)
(TAK61 (isub1 Y) Z X)
(TAK67 (isub1 Z) X Y)))))
(DEFUN TAK51 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK52 (TAK24 (isub1 X) Y Z)
(TAK72 (isub1 Y) Z X)
(TAK84 (isub1 Z) X Y)))))
(DEFUN TAK52 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK53 (TAK61 (isub1 X) Y Z)
(TAK83 (isub1 Y) Z X)
(TAK1 (isub1 Z) X Y)))))
(DEFUN TAK53 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK54 (TAK98 (isub1 X) Y Z)
(TAK94 (isub1 Y) Z X)
(TAK18 (isub1 Z) X Y)))))
(DEFUN TAK54 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK55 (TAK35 (isub1 X) Y Z)
(TAK5 (isub1 Y) Z X)
(TAK35 (isub1 Z) X Y)))))
(DEFUN TAK55 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK56 (TAK72 (isub1 X) Y Z)
(TAK16 (isub1 Y) Z X)
(TAK52 (isub1 Z) X Y)))))
(DEFUN TAK56 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK57 (TAK9 (isub1 X) Y Z)
(TAK27 (isub1 Y) Z X)
(TAK69 (isub1 Z) X Y)))))
(DEFUN TAK57 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK58 (TAK46 (isub1 X) Y Z)
(TAK38 (isub1 Y) Z X)
(TAK86 (isub1 Z) X Y)))))
(DEFUN TAK58 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK59 (TAK83 (isub1 X) Y Z)
(TAK49 (isub1 Y) Z X)
(TAK3 (isub1 Z) X Y)))))
(DEFUN TAK59 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK60 (TAK20 (isub1 X) Y Z)
(TAK60 (isub1 Y) Z X)
(TAK20 (isub1 Z) X Y)))))
(DEFUN TAK60 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK61 (TAK57 (isub1 X) Y Z)
(TAK71 (isub1 Y) Z X)
(TAK37 (isub1 Z) X Y)))))
(DEFUN TAK61 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK62 (TAK94 (isub1 X) Y Z)
(TAK82 (isub1 Y) Z X)
(TAK54 (isub1 Z) X Y)))))
(DEFUN TAK62 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK63 (TAK31 (isub1 X) Y Z)
(TAK93 (isub1 Y) Z X)
(TAK71 (isub1 Z) X Y)))))
(DEFUN TAK63 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK64 (TAK68 (isub1 X) Y Z)
(TAK4 (isub1 Y) Z X)
(TAK88 (isub1 Z) X Y)))))
(DEFUN TAK64 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK65 (TAK5 (isub1 X) Y Z)
(TAK15 (isub1 Y) Z X)
(TAK5 (isub1 Z) X Y)))))
(DEFUN TAK65 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK66 (TAK42 (isub1 X) Y Z)
(TAK26 (isub1 Y) Z X)
(TAK22 (isub1 Z) X Y)))))
(DEFUN TAK66 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK67 (TAK79 (isub1 X) Y Z)
(TAK37 (isub1 Y) Z X)
(TAK39 (isub1 Z) X Y)))))
(DEFUN TAK67 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK68 (TAK16 (isub1 X) Y Z)
(TAK48 (isub1 Y) Z X)
(TAK56 (isub1 Z) X Y)))))
(DEFUN TAK68 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK69 (TAK53 (isub1 X) Y Z)
(TAK59 (isub1 Y) Z X)
(TAK73 (isub1 Z) X Y)))))
(DEFUN TAK69 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK70 (TAK90 (isub1 X) Y Z)
(TAK70 (isub1 Y) Z X)
(TAK90 (isub1 Z) X Y)))))
(DEFUN TAK70 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK71 (TAK27 (isub1 X) Y Z)
(TAK81 (isub1 Y) Z X)
(TAK7 (isub1 Z) X Y)))))
(DEFUN TAK71 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK72 (TAK64 (isub1 X) Y Z)
(TAK92 (isub1 Y) Z X)
(TAK24 (isub1 Z) X Y)))))
(DEFUN TAK72 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK73 (TAK1 (isub1 X) Y Z)
(TAK3 (isub1 Y) Z X)
(TAK41 (isub1 Z) X Y)))))
(DEFUN TAK73 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK74 (TAK38 (isub1 X) Y Z)
(TAK14 (isub1 Y) Z X)
(TAK58 (isub1 Z) X Y)))))
(DEFUN TAK74 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK75 (TAK75 (isub1 X) Y Z)
(TAK25 (isub1 Y) Z X)
(TAK75 (isub1 Z) X Y)))))
(DEFUN TAK75 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK76 (TAK12 (isub1 X) Y Z)
(TAK36 (isub1 Y) Z X)
(TAK92 (isub1 Z) X Y)))))
(DEFUN TAK76 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK77 (TAK49 (isub1 X) Y Z)
(TAK47 (isub1 Y) Z X)
(TAK9 (isub1 Z) X Y)))))
(DEFUN TAK77 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK78 (TAK86 (isub1 X) Y Z)
(TAK58 (isub1 Y) Z X)
(TAK26 (isub1 Z) X Y)))))
(DEFUN TAK78 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK79 (TAK23 (isub1 X) Y Z)
(TAK69 (isub1 Y) Z X)
(TAK43 (isub1 Z) X Y)))))
(DEFUN TAK79 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK80 (TAK60 (isub1 X) Y Z)
(TAK80 (isub1 Y) Z X)
(TAK60 (isub1 Z) X Y)))))
(DEFUN TAK80 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK81 (TAK97 (isub1 X) Y Z)
(TAK91 (isub1 Y) Z X)
(TAK77 (isub1 Z) X Y)))))
(DEFUN TAK81 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK82 (TAK34 (isub1 X) Y Z)
(TAK2 (isub1 Y) Z X)
(TAK94 (isub1 Z) X Y)))))
(DEFUN TAK82 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK83 (TAK71 (isub1 X) Y Z)
(TAK13 (isub1 Y) Z X)
(TAK11 (isub1 Z) X Y)))))
(DEFUN TAK83 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK84 (TAK8 (isub1 X) Y Z)
(TAK24 (isub1 Y) Z X)
(TAK28 (isub1 Z) X Y)))))
(DEFUN TAK84 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK85 (TAK45 (isub1 X) Y Z)
(TAK35 (isub1 Y) Z X)
(TAK45 (isub1 Z) X Y)))))
(DEFUN TAK85 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK86 (TAK82 (isub1 X) Y Z)
(TAK46 (isub1 Y) Z X)
(TAK62 (isub1 Z) X Y)))))
(DEFUN TAK86 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK87 (TAK19 (isub1 X) Y Z)
(TAK57 (isub1 Y) Z X)
(TAK79 (isub1 Z) X Y)))))
(DEFUN TAK87 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK88 (TAK56 (isub1 X) Y Z)
(TAK68 (isub1 Y) Z X)
(TAK96 (isub1 Z) X Y)))))
(DEFUN TAK88 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK89 (TAK93 (isub1 X) Y Z)
(TAK79 (isub1 Y) Z X)
(TAK13 (isub1 Z) X Y)))))
(DEFUN TAK89 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK90 (TAK30 (isub1 X) Y Z)
(TAK90 (isub1 Y) Z X)
(TAK30 (isub1 Z) X Y)))))
(DEFUN TAK90 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK91 (TAK67 (isub1 X) Y Z)
(TAK1 (isub1 Y) Z X)
(TAK47 (isub1 Z) X Y)))))
(DEFUN TAK91 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK92 (TAK4 (isub1 X) Y Z)
(TAK12 (isub1 Y) Z X)
(TAK64 (isub1 Z) X Y)))))
(DEFUN TAK92 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK93 (TAK41 (isub1 X) Y Z)
(TAK23 (isub1 Y) Z X)
(TAK81 (isub1 Z) X Y)))))
(DEFUN TAK93 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK94 (TAK78 (isub1 X) Y Z)
(TAK34 (isub1 Y) Z X)
(TAK98 (isub1 Z) X Y)))))
(DEFUN TAK94 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK95 (TAK15 (isub1 X) Y Z)
(TAK45 (isub1 Y) Z X)
(TAK15 (isub1 Z) X Y)))))
(DEFUN TAK95 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK96 (TAK52 (isub1 X) Y Z)
(TAK56 (isub1 Y) Z X)
(TAK32 (isub1 Z) X Y)))))
(DEFUN TAK96 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK97 (TAK89 (isub1 X) Y Z)
(TAK67 (isub1 Y) Z X)
(TAK49 (isub1 Z) X Y)))))
(DEFUN TAK97 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK98 (TAK26 (isub1 X) Y Z)
(TAK78 (isub1 Y) Z X)
(TAK66 (isub1 Z) X Y)))))
(DEFUN TAK98 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK99 (TAK63 (isub1 X) Y Z)
(TAK89 (isub1 Y) Z X)
(TAK83 (isub1 Z) X Y)))))
(DEFUN TAK99 (X Y Z)
(COND ((NOT (ilessp Y X)) Z)
(T (TAK0 (TAK0 (isub1 X) Y Z)
(TAK0 (isub1 Y) Z X)
(TAK0 (isub1 Z) X Y)))))
(de timit ()
(do ((n 2 (isub1 n)))
((izerop n))
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)
(tak0 18 12 6)))